Cornelio Lanci si avvale di sei trattati degli _Esempi della virtù delle donne_ per testimoniare l’_humanitas_ _ante litteram_ di Zenobia, sovrana dell’impero d’Oriente ai tempi di Aureliano. L’articolo si propone di indagare le possibili fonti cui l’urbinate attinse per approntare le sue personali riscritture delle gloriose imprese della regina di Palmira.

All’interno del dialogo _Della Dignità e Nobiltà delle Donne _(1622), Cristoforo Bronzini afferma con decisione che numerose donne nel corso della storia si sono distinte nell’ambito della scrittura, a dispetto di obsoleti pregiudizi: l’articolo si propone di indagare le modalità con le quali Bronzini declina il paradigma della differenza di genere, offrendo nello specifico una breve panoramica sulle scrittrici umanistico-rinascimentali che l’autore propone come massimi _exempla_ _virtutis_.

, from Stanford Encyclopaedia of Philosophy.

Tarski asked whether the arithmetic identities taught in high school are complete for showing all arithmetic equations valid for the natural numbers. The answer to this question for the language of arithmetic expressions using a constant for the number one and the operations of product and exponentiation is affirmative, and the complete equational theory also characterises isomorphism in the typed lambda calculus, where the constant for one and the operations of product and exponentiation respectively correspond to the unit type and (...) the product and arrow type constructors. This paper studies isomorphisms in typed lambda calculi with empty and sum types from this viewpoint. Our main contribution is to show that a family of so-called Wilkie–Gurevič identities, that plays a pivotal role in the study of Tarski’s high school algebra problem, arises from type-theoretic isomorphisms. We thus close an open problem by establishing that the theory of type isomorphisms in the presence of product, arrow, and sum types is not finitely axiomatisable. Further, we observe that for type theories with arrow, empty and sum types the correspondence between isomorphism and arithmetic equality generally breaks down, but that it still holds in some particular cases including that of type isomorphism with the empty type and equality with zero. (shrink)

Il volume analizza e commenta le lezioni inedite che Cosmo Guastella, docente di Filosofia teoretica nell’Università di Palermo, tenne tra il 1903 e il 1915. Il testo contribuisce a colmare un aspetto inedito per la ricostruzione dell’intera produzione de.

Acknowledgements -- List of illustrations -- Table of transliteration -- Introduction: Shams al-Din Samarqandi: his life and training -- Works and thought -- Science of the cosmos and the soul ('Ilm al-afaq wa al-anfus) -- Manuscripts used in preparing this edition -- Sources -- Persian and Arabic texts [1-287].

This book analyzes the murals and texts of the Dunhuang Grottoes, one of the most famous sites of cultural heritage on the Silk Road in Northwest China, from an educational perspective. The Dunhuang Grottoes are well-known in the world for their stunning beauty and magnificence, but the teaching of Dunhuang advocates a philosophical perspective that cosmos, nature, and humanity are an interconnected whole, and that all elements function interactively according to universal and relational principles of continuity, cause-and-effect, spiritual connection, and (...) enlightenment. Xu Di and volume contributors highlight the moral education and ethics found throughout the Dunhuang with numerous stories of the personal journeys and growth of the Buddha and bodhisattvas, discussing and analyzing these teachings, and their possible implications for modern education systems throughout China and the world today. (shrink)

This volume contains essays by some of the leading scholars in the study of the Jewish religious ideas in the Second Temple period, that led up to the development of early forms of Rabbinic Judaism and Christianity. Close attention is paid to the cosmological ideas to be found in the Ancient Near East and in the Hebrew Bible and to the manner in which the translators of the Hebrew Bible into Greek reflected the creativity with which Judaism engaged Hellenistic ideas (...) about the cosmos and the creation. The concepts of heaven and divine power, human mortality, the forces of nature, combat myths, and the philosophy of wisdom, as they occur in 2 Maccabees, Ben Sira, Wisdom of Solomon and Tobit, are carefully analysed and compared with Greek and Roman world-views. There are also critical examinations of Dead Sea scroll texts, early Jewish prayers and Hebrew liturgical poetry and how they these adopt, adapt and alter earlier ideas. The editors have included appreciations of two major figures who played important roles in the study of the Second Temple period and in the history and development of the ISDCL, namely, Otto Kaiser and Alexander Di Lella, who died recently and are greatly missed by those in the field."--Provided by publisher. (shrink)

Dans mon article, je vais essayer de développer une analyse de deux des plus importants chapitres du De anima d'Aristote : les chapitres 4 et 5 du livre III, où Aristote propose son traitement de la question de l'intellect. Sans entrer dans les détails de l'histoire de l'interprétation de ce texte, je propose d'identifier l'intellect dit ‘passif’ avec quelques traits distinctifs de la puissance de la phantasia ou imagination, et ce que l'on appelle ‘l'intelligence productive’ avec l'environnement cosmique, qui, en (...) vertu de ses régularités, produit les habitats qui vont agir sur la puissance sensorielle de l'être humain et qui, dans la production des expériences sensorielles de l'être humain, fera passer son esprit du statut d'intellect passif à celui d'intellectus in habitu. (shrink)

In a letter to Lorenzo di Pierfrancesco dei Medici, dating from 1477 to 1478, the Platonist philosopher Marsilio Ficino develops the classical theme of the correspondence between man and cosmos on the basis of the astrological techniques. The inner heaven, a term of the relationship between macrocosm and microcosm, takes the form of what astrologers call the birth theme: the series of astral positions at the moment of birth and related to its place. Taking up Origen’s theme of the inner (...) heavens, he systematically applies the theory of planet-signs to deciphering underlying themes of individual personality. (shrink)

Nella storia del pensiero non è infrequente il caso di opere capitali circolate mutile. A volte per ragioni estrinseche, più spesso per motivi riconducibili a conflitti agiti, patenti o sotterranei che siano. Quando i testi vengono infine reintegrati, non si compie solo un dovere restitutivo: le idee tornano a vivere nella loro pienezza. Di una simile vicenda Individuo e cosmo nella filosofia del Rinascimento offre un esempio paradigmatico. Alla sua pubblicazione nel 1927, al culmine della elaborazione teoretica di Ernst (...) Cassirer maturata nella cerchia amburghese di Aby Warburg, fu subito chiaro come il Rinascimento assumesse una fisionomia nuova, plurivoca e tutt'altro che pacificata. Attraverso le nozioni di individuo e cosmo - quello interiore compendiato dal microcosmo e quello fisico, a cui l'uomo appartiene e da cui è trasceso - venivano alla luce i nuclei etici e conoscitivi della modernità, quali i rapporti tra libertà e necessità e tra soggetto e oggetto. Dalla ricchissima trama di idee, riflessioni e congetture che Cassirer riusciva a intessere attingendo non solo a filosofi, ma anche a scienziati, poeti e retori, si distaccavano per rilievo peculiare i contributi di pensiero di due figure, il tedesco Niccolò Cusano e il francese Charles de Bovelles. A sottolineare la loro centralità, Cassirer poneva in appendice il dialogo Della mente del primo e Il sapiente del secondo, con le splendide figure dell'edizione originale del 1510. Entrambi gli scritti risultavano però espunti nella traduzione italiana di Individuo e cosmo nella filosofia del Rinascimento apparsa nel 1935, in un clima gentiliano che promuoveva una visione tutta italocentrica della Rinascenza. Oggi, dopo che i miti di autoctonia e di supremazia spirituale si sono sgretolati, recuperare l'interpretazione cosmopolita di un'epoca fondante della storia culturale europea ha una valenza che esorbita dal puro ambito storiografico. La prima traduzione integrale, e completamente rifatta, del testo di Cassirer risponde a un'esigenza del nostro tempo: rompere con le prospettive unilaterali. Perché «ogni genio autenticamente grande, vale a dire ogni genio nazionale nel senso più profondo, ci costringe subito ad abbandonare un punto di osservazione così limitato». (shrink)

Esistono un vuoto negativo e un vuoto positivo. Il primo origina oppressione, il secondo si pone come spazio aperto al possibile, ed è questo il vuoto che l’arte cinese esprime: la possibilità del diverso, l’incompletezza dell’esistente, la parzialità del Primordiale che si dà in un’immagine, in una pennellata, in un suono o in una parola che è sempre senza forma definita.

In the proem that precedes the account of the generation of the world, Timaeus provides very important elements for understanding the discourse he is about to delivery. It is a complex text that displays at least three different levels: dialectical, analogical (or metaphorical) and epistemological. In the dialectical section, Timaeus establishes that the sensible universe is a generated reality and as such has a cause; in the metaphorical section, he indicates the analogical schemes he will use to explain the genesis (...) of the cosmos (technical and biological) and the causes on which it depends. Finally, in the epistemological section he explains the reason why this exposition cannot achieve truth but must be content with likeness. (shrink)

Il saggio affronta la questione se nel pensiero di Giovanni di Salisbury sia presente un pensiero mistico e quella di quali siano le relazioni con la sua teoria della conoscenza. Il pulchrum rappresenta uno dei temi tramite cui è possibile riflettere su tale questione, poiché problematizza il rapporto tra umano e divino, tra immanente e trascendente, su più livelli del discorso salisburiano. All’interno del generale atteggiamento scettico dell’autore, il pulchrum si articola nelle dimensioni dell’armonia musicale cosmica e umana, come proportio (...) o venustas; dei criteri di misura, numero e peso con cui Dio crea e che sono indici della sua ineffabilità in senso dionisiano; dell’armonia tra forma e contenuto proprie della retorica e della poesia; infine dell’ordine proporzionale che regola non solo il cosmo, ma anche la res publica. Il saggio conclude individuando un atteggiamento mistico, che non è propriamente pensiero mistico, nei momenti in cui maggiormente emergono gli aspetti di ispirazione dionisiana. The essay concerns the question of the possibility of mystical thought in the reflection of John of Salisbury and that of what is the relationship with his theory of knowledge. The pulchrum represents one of the themes through which one can approach this issue, because proves problematic the relationship between human being and God, immanent and transcendent, on multiple levels of John’s thought. Into his general sceptical attitude, the pulchrum is articulated in some dimensions of the musical harmony, both cosmic and human, such as proportio or venustas. In addition, it is understood as measure, number and weight with which God creates and that are signs of his ineffability in a Dionysian meaning. The concept of beauty is also related to the relationship between form and content concerning both rhetoric and poetry. Finally, it concerns the proportional order that regulates not only the cosmos, but also the res publica, in the moments in which the aspects of Dionysian derivation mainly emerge. (shrink)

Inizialmente, il saggio tratteggia una breve storia estetico-artistica della nuvola, dagli archè della filosofia naturalistica presocratica, in cui si mostrano le nuvole come un compendio perfetto della vita e della sua immagine mutevole, alla tesi kantiana sull’origine nuvolosa del cosmo. Le nuvole sono immagini attraverso le quali si evoca la struttura di cui è fatta ogni forma che ha in sé le leggi dell’apparire e della materia. Esse rappresentano, dunque, un’origine senza origine e il complesso rapporto analogico e linguistico (...) con la realtà. A partire da tali considerazioni lo scritto analizza per via analogica Equivalents (1993) dell’artista brasiliano Vik Muniz. Queste opere intensificano la riflessione sul vedere e sull’esistenza, mettono in discussione i principi della fotografia e aprono a nuove pratiche non più fotografiche ma forografiche. Le nuvole dimostrano come l’arte non sia il tentativo di cercare la bellezza ma di avere il coraggio di riceverla, sollecitando costantemente nuovi e mutevoli linguaggi. (shrink)

In questo contributo vengono indagati alcuni concetti della teologia aristotelica (il concetto di divino e quello di trascendenza) a partire da un’espressione emblematica utilizzata dallo storico francese Étienne Gilson per descrivere il Primo Motore Immobile aristotelico: “centrale elettrica della natura”. L’espressione del noto studioso non è soltanto particolarmente accattivante, ma risulta essere filosoficamente assai significativa poiché veicola perfettamente il significato che assume il Dio di Aristotele nell’economia complessiva del cosmo, più in particolare nel ciclo eterno delle corruzioni e delle (...) generazioni. La ricostruzione storica è finalizzata a mostrare la novità del messaggio cristiano contenuto nella Rivelazione e che trova nelle pagine di Tommaso d’Aquino una chiarezza concettuale, filosofico-metafisica, di eccezionale valore. In esse è possibile osservare la piena maturazione della nuova visione di tipo creazionista (basata sulla Metafisica dell’Esodo 3,14) che, pur in continuità con la visione aristotelica, ne approfondisce smisuratamente i presupposti metafisici. (shrink)

Le nozioni di spazio e di tempo sono tra le piu correnti al giorno d'oggi, sia nel linguaggio comune che in quello filosofico e scientifico. Anche nella storia del pensiero filosofico il problema del tempo occupo un posto privilegiato. Gia Anassimandro diceva: „Tutte le cose hanno la propria genesi nell'Indeterminate e tutte in esso terminano „secondo rordine del tempo". Platone affermava che il tempo ha la sua origine con il cosmos e lo identificava con il movimento dei corpi celesti. II (...) primo rilievo che Aristotele avanza nella sua indagine sul tempo e questo: il tempo e in immediata relazione col movimento e non esiste senza di esso. (shrink)

Questo lavoro si propone di indagare le occorrenze del lessico femminile, in particolare γυνή e μήτηρ, nel Timeo, per far emergere la posizione di Platone riguardo alle donne che si può evincere dall’ermeneutica dei passi esaminati. Bisogna considerare anche i problemi relativi all’interpretazione degli scritti di Platone, come le strutture argomentative di cui si serve e la complessità di alcuni concetti. Le occorrenze nel Timeo, sebbene non numerose, sono contenutisticamente significative, data la natura di questo dialogo che si propone di (...) identificare la posizione e il ruolo nel cosmo dell’uomo e della sua anima. Nel prologo del Timeo, come anche nella Repubblica, Platone esprime posizioni più aperte riguardo al ruolo sociale delle donne; invece in altri passi, come quelli che trattano della trasmigrazione delle anime, Platone si serve di immagini relative alle donne per aiutare i suoi ascoltatori a comprendere questioni molto complesse. Tali immagini, per essere comprensibili, devono rispecchiare l’idea riguardo alle donne comune al tempo di Platone. (shrink)

The Vestal Virgins are one of the most famous elements of Roman religion, yet despite their perennial appeal and the importance of some smaller scale studies of the priesthood, the priestesses have not received a monograph-length study since F. Giuzzi, Aspetti giuridici del sacerdozio romano. II sacerdozio di Vesta (Naples, 1968). Now we have books by R.L. Wildfang and M.C. Martini that could not be more different. The former offers a thorough survey of what the sources can tell us about (...) the priesthood in the period from the end of the Second Carthaginian War to the first century C.E. The latter is an analysis of early Roman historiography and the role the Vestals, in particular their periodic unchastity, played in the creation of the traditional account of the development of Rome. W's book puts forward two main arguments: (1) the Vestals were charged with the ritual purification of the city and with the storage and preparation of ritual materials, and (2) many aspects of the priesthood that have long puzzled scholars are tied to the Vestals' status as Roman citizens, but citizens who existed outside the traditional family structure. The book will be accessible to those new to the topic, but the notes will repay specialists. Ancient sources are quoted in translation, with original texts provided in an appendix. A second appendix provides a list of known Vestals. This slender volume could have been even thinner if the frequent repetitions were cut down. W's work might have been better as a hefty article, so little is there to know about the Vestals. The Classical Review vol. 58 no. 1 C The Classical Association 2008; all rights reserved This content downloaded from 204.235.148.90 on Sat, 26 Jul 2014 11:47:09 AM All use subject to JSTOR Terms and Conditions THE CLASSICAL REVIEW 213 In the Introduction, W makes a welcome distinction among types of rituals often lumped together in discussions of 'fertility' rituals, with which the Vestals are often associated (p. 4). W reserves 'fertility' to describe only those rites that deal with the reproduction of people, livestock and the growth of crops. Harvest rituals are linked to the harvesting of crops, while another set of rites, 'storage rites', are tied to the preservation of the harvest. The final group, purification rituals, aim at the cleansing of an individual, place or object of 'all forms of pollution that would render it or them unfit to come into contact with the religious sphere'. The book is arranged thematically. The first two chapters lay out all we can know about the priestesses' ritual obligations performed in the seclusion of the temple and out amongst the people. While a reader may not find W's interpretation of each of the Vestals' actions equally persuasive, the overall argument that the priestesses' activities were, by and large, purificatory is convincing. Two of the more interesting aspects of W.'s discussion are her considerations of Vesta's fire and of the water required for some of her rituals (pp. 8-11). Fire was seen by the Romans as both a fertile and a sterile force, and scholars have emphasised one or the other, or the contrast between them, in their interpretation of the Vestals. W points out that fertile fire is always described in masculine terms and is associated with Vulcan. Vesta's fire, however, is always associated with sterility and purity, and so should be understood as having a purificatory significance. W points out that Vesta's fire was used only in the manufacture of ritually necessary items: roasting spelt for mola salsa, baking brine for muries and burning ashes from the fetal cow from the Fordicidia and the tail of the October horse, both of which were used at the Parilia. For other rituals, the Vestals were required to use water, the purificatory substance par excellence, drawn only from the spring of Juturna and carried only in vessels that could not be set down. These restrictions ensured that the water was always fresh, running water that never touched profane earth. Chapters 3-5 trace out the unique position the Vestals occupied in Roman society, arguing that they existed outside the standard Roman familial and other social structures, yet remained fully part of the Roman state. W suggests that the initiation rite of captio removed the new priestess not only from her family but, more importantly, from her family cult, thus avoiding any potential contamination of familial and public cult. Virginity was required for multiple reasons, the most significant being that such a status allowed the priestess to remain a full member of the Roman state, but prevented her from being a member of a traditional family structure. Throughout the book, W makes much of the idea of Vestals as represen tatives of Roman citizen women without ever really dealing with the question to what extent any Roman woman, priestess or not, was a ciuis. Though W is probably correct, it is not entirely certain to what extent women were citizens in the Republic, and at least a reference to some key ancient sources and to recent scholarship on this question should be made (e.g. L. Peppe, Posizione giuridica e ruolo sociale della donna romana in eta repubblicana [Milan, 1984]). The sixth chapter, 'The Vestals in the Romans' History', looks at the appearance of Vestals in the early history of Rome, refining the common assumption that accusations of, and convictions for, incestum arose only in periods of great stress and danger. W adds that a priestess's involvement, or her family's involvement, in one of the groups taking part in the conflict or struggle of the moment also played a role. This chapter traces changes over the course of 300 years in the attitudes of the priestesses and the Romans more generally toward the priesthood, its role in society This content downloaded from 204.235.148.90 on Sat, 26 Jul 2014 11:47:09 AM All use subject to JSTOR Terms and Conditions 214 THE CLASSICAL REVIEW and its requirement of 30 years of chastity. The argument hangs on even less evidence than other sections of the work. In contrast to their central place in W's book, the Vestals play only a small (though crucial, in her interpretation) role in M.'s work. The basic argument of the book is that episodes of Vestal incestum are linked in the historiographic tradition to key moments in the development of the Roman state: the separation of augurium from regnum, the development of a mixed patrician-plebeian aristocracy, the creation of a monetary system and the expansion of the colonial system outside Italy. The history of Rome can be seen as alternating phases of stasis and transformation; instances of Vestal incestum mark the transitions (p. 95). The work falls into two parts that are not well integrated. The first is a useful discussion of the historiography of the Roman Republic, taking in turn each element of the story of the founding of Rome from the arrival of Aeneas to the death of Remus. M. traces how early Roman writers, especially Fabius Pictor, reshaped the tradition already present in some Greek authors, distancing Rome from the Greek world and adding an Italic element to the tale. This detailed analysis is well worth consulting and will be of interest to those working on many aspects of cultural life in the Republic. The second, larger, section of the book comprises a series of studies of the Vestals known to have been convicted of incestum during the Republic. After dealing with issues of dating and sources, M. links each case of incestum to a major event in Roman history. Not all the events are equally important for the creation of the Rome of the middle and late Republic. One wonders why M. chose to tie the conviction of Minucia, somewhere between 339 and 332, to the admission of plebeians to the praetorship in 337 rather than to the conclusion of the Latin War in 338. Some explanation is warranted. The connection M. draws is often very vague, as in the case of Sextilia (pp. 144-54), convicted and interred alive in either 275 or 274. M. sees this as marking the end of any meaningful distinction between patricians and plebeians, following as it does the first time a plebeian censor completed a lustrum. The gap of five or six years between Sextilia's conviction and Cn. Domitius Calvinus Maximus' censorship in 280 passes unremarked. Similarly, in discussing the three Vestals accused of incestum in 114-113 (pp. 188-210), M. steps away from the commonly accepted interpretation of the event as part of the continuing struggle between Gracchan and senatorial forces, arguing instead that it is tied to the establishment in 118 of the colony of Narbo Martius, Rome's first colony in Gaul. Here, as elsewhere, there is no evidence that any ancient author linked the founding of the colony and Vestal unchastity; the temporal gap makes an association even more unlikely. Ultimately, it is not possible to accept M.'s argument that Vestal incestum punctuated key stages in the development of the 'cosmo Romano' in the way she imagines. Even so, M.'s effort to reintegrate the Vestals into the larger narrative of Rome's history is thought-provoking, and it is to be hoped that it will spark further work in the same vein. The field is perhaps in a better position to undertake work on this scale now that we have W's careful and comprehensive collection and interpre tation of what there is to know about the Vestals. Yale University CELIA E. SCHULTZ celia.schultz(yale.edu This content downloaded from 204.235.148.90 on Sat, 26 Jul 2014 11:47:09 AM All use subject to JSTOR Terms and Conditions. (shrink)

Le nozioni di spazio e di tempo sono tra le piu correnti al giorno d'oggi, sia nel linguaggio comune che in quello filosofico e scientifico. Anche nella storia del pensiero filosofico il problema del tempo occupo un posto privilegiato. Gia Anassimandro diceva: „Tutte le cose hanno la propria genesi nell'Indeterminate e tutte in esso terminano „secondo rordine del tempo". Platone affermava che il tempo ha la sua origine con il cosmos e lo identificava con il movimento dei corpi celesti. II (...) primo rilievo che Aristotele avanza nella sua indagine sul tempo e questo: il tempo e in immediata relazione col movimento e non esiste senza di esso. (shrink)

È possibile istituire un nesso tra la presenza di Dio nel mondo, che Buber avrebbe descritto fin dai suoi primi scritti chassidici attraverso la nozione cabalistica di Shekinah, la presenza di Dio nell'uomo e la presenza dell’uomo a se stesso? È possibile riconoscere alla presenza il carattere fondamentale dell’accadere della relazione e, insieme, fondare la religione sull'accadere di quell’originario evento d’incontro, su una risposta al Tu? È possibile che, proprio attraverso l’evento della presenza, del presente dischiuso nell’Augenblick, la religione possa (...) ritornare al suo significato di relazione, di legame vissuto nella pienezza dell’ora terrena? Ultima delle Sefirot a rompersi nella dottrina di I. Luria, la presenza di Dio nel mondo si offre all’uomo capace di riceverla, nell’in-tra-tenersi della relazione, sul fondamento di una passività originaria, in cui l’uomo è chiamato a rispondere con un’azione che proviene dall’interezza del proprio essere. Relazione entro l’essere del singolo uomo, chiamato a compiere in se stesso quell’interezza che ha nome unità; relazione tra il singolo uomo e l’intero cosmo, a partire da ogni singolo “altro” che gli può accadere di incontrare; relazione come incontro, unità, rivelazione, religione e, pertanto, come presenza. Religione come presenza, parimenti nell’urgere dell'eterno nell’istante, nel “qui e ora” della ewige Offenbarung. “In principio è la relazione” - tale è l’intuizione buberiana fondamentale, a partire dalla quale la realtà può raggiungere il proprio compimento come quel dialogo in cui incontrante e incontrato si chiamano tra loro Io e Tu, nel dono reciproco della presenza. Presenza e relazione, sistole e diastole dell’unica vita reale. (shrink)

This note does examine a recent volume by Ada Bronowski on the Stoic doctrine of the lekta. The first part summarizes its content, while the second discusses some critical and controversial points, in particular the Platonic tenor of the interpretation of the Stoic lekta offered by the Author. This interpretation gives an extra-linguistic and realistic function to items that the Stoics cautiously left under-determined from the ontological point of view.

Cartesian closed categories (CCCs) have played and continue to play an important role in the study of the semantics of programming languages. An axiomatization of the isomorphisms which hold in all Cartesian closed categories discovered independently by Soloviev and Bruce, Di Cosmo and Longo leads to seven equalities. We show that the unification problem for this theory is undecidable, thus settling an open question. We also show that an important subcase, namely unification modulo the linear isomorphisms, is NP-complete. Furthermore, (...) the problem of matching in CCCs is NP-complete when the subject term is irreducible. CCC-matching and unification form the basis for an elegant and practical solution to the problem of retrieving functions from a library indexed by types investigated by Rittri. It also has potential applications to the problem of polymorphic type inference and polymorphic higher-order unification, which in turn is relevant to theorem proving and logic programming. (shrink)

Denotational semantics of logic programming and its extensions have been studied thoroughly for many years. In 1998, a game semantics was given to definite logic programs by Di Cosmo, Loddo, and Nicolet, and a few years later it was extended to deal with negation by Rondogiannis and Wadge. Both approaches were proven equivalent to the traditional semantics. In this paper we define a game semantics for disjunctive logic programs and prove soundness and completeness with respect to the minimal model (...) semantics of Minker. The overall development has been influenced by the games studied for PCF and functional programming in general, in the styles of Abramsky–Jagadeesan–Malacaria and Hyland–Ong–Nickau. (shrink)